Pattern theory

Results: 752



#Item
141Models of computation / Quantum field theory / Nondeterministic finite automaton / Gδ set / Automata theory / Measure theory / Support

CCCG 2007, Ottawa, Ontario, August 20–22, 2007 Exact and approximate Geometric Pattern Matching for point sets in the plane under similarity transformations ∗ Dror Aiger†

Add to Reading List

Source URL: cccg.ca

Language: English - Date: 2008-10-28 21:29:05
142Programming idioms / Functional languages / Procedural programming languages / Combinatorics / Factorial / Number theory / Pattern matching / Recursion / Function / Mathematics / Computer programming / Computing

MITFallLecture 3 c W.C Carter

Add to Reading List

Source URL: pruffle.mit.edu

Language: English - Date: 2009-06-08 11:31:31
143Regular expression / Pseudo-ring / Mathematics / Computer programming / Software engineering / Control table / Ring theory / Automata theory / Pattern matching

Implementing Domain Specific Languages Alex Miller, BEA Systems I’ll be talking today about implementing DSLs in Java.

Add to Reading List

Source URL: puredanger.com

Language: English - Date: 2010-08-10 13:46:46
144Ensemble learning / Learning / Neural networks / Perceptron / Computational learning theory / Boosting / Generalization error / Bootstrap aggregating / Statistical classification / Machine learning / Artificial intelligence / Computational statistics

Complements to ‘Pattern Recognition and Neural Networks’ by B.D. Ripley Cambridge University Press, 1996, ISBN

Add to Reading List

Source URL: www.stats.ox.ac.uk

Language: English - Date: 1997-04-20 05:18:14
145Computing / Loop invariant / Invariant / Infinite loop / Constructible universe / For loop / Loop-invariant code motion / Invariant theory / Software engineering / Computer programming / Control flow

Maximal and Compositional Pattern-Based Loop Invariants Virginia Aponte1 , Pierre Courtieu1 , Yannick Moy2 , and Marc Sango2 1 CNAM, 292 rue Saint-Martin FParis Cedex 03 - FRANCE

Add to Reading List

Source URL: www.open-do.org

Language: English - Date: 2012-05-11 04:00:25
146Structure / Pushout / Graph homomorphism / Graph / Connectivity / Model theory / Mathematics / Graph theory / Combinatorics

Pattern graphs and rule-based models: the semantics of Kappa Jonathan Hayman 1,3?

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2013-10-23 07:28:33
147Data types / Functional languages / Procedural programming languages / Type theory / Functional programming / ALGOL 68 / Type system / Pattern matching / Anonymous function / Computing / Software engineering / Computer programming

Bits and pieces of information about the parser, namer, and typer phases that turn out to be necessary just to be able to unparse Scala ASTs c Miguel Garcia, LAMP, EPFL http://lamp.epfl.ch/~magarcia

Add to Reading List

Source URL: lampwww.epfl.ch

Language: English - Date: 2011-01-04 07:00:46
148Computing / R-tree / Prüfer sequence / Structure mining / XQuery / T-tree / B-tree / XML database / Graph theory / Data management / Binary trees

Data Min Knowl Disc:472–516 DOIs10618Incremental sequence-based frequent query pattern mining from XML queries Guoliang Li · Jianhua Feng · Jianyong Wang ·

Add to Reading List

Source URL: dbgroup.cs.tsinghua.edu.cn

Language: English - Date: 2012-09-26 08:10:07
149Visual arts / Science / A Pattern Language / Vernacular architecture / Pattern language / Pattern / Christopher Alexander / ACCU / Design / Architectural theory / Architecture

Bits And Mortar Ric Parkin ACCU Conference 2008 Introduction Sometimes lessons, rules and processes learnt in

Add to Reading List

Source URL: www.accu.org

Language: English - Date: 2008-04-15 13:24:50
150Function / Unification / Model theory / Lambda calculus / Μ operator / Symbol / Mathematics / Mathematical logic / Logic

Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨

Add to Reading List

Source URL: www2.tcs.ifi.lmu.de

Language: English - Date: 2011-02-03 11:01:19
UPDATE